(/transformedFiles/modelRepresentation.gs74[| DH/transformedFiles/domain.gsƷ4[|6LCH(/transformedFiles/embeddingM1_ASM.genmtlƷ4[|ĎCH*/transformedFiles/userDefinitionAxioms.clfƷ4[|DH